A Topological proof that O2 is 2-MCFL

نویسنده

  • Subhadip Chowdhury
چکیده

We give a new proof of Salvati’s theorem that the group language O2 is 2 multiple context free. Unlike Salvati’s proof, our arguments do not use any idea specific to two-dimensions. This raises the possibility that the argument might generalize to On.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

A short proof that O_2 is an MCFL

We present a new proof that O2 is a multiple context-free language. It contrasts with a recent proof by Salvati (2015) in its avoidance of concepts that seem specific to two-dimensional geometry, such as the complex exponential function. Our simple proof creates realistic prospects of widening the results to higher dimensions. This finding is of central importance to the relation between extrem...

متن کامل

Application of Graph Theory: Relationship of Topological Indices with the Partition Coefficient (logP) of the Monocarboxylic Acids

It is well known that the chemical behavior of a compound is dependent upon the structure of itsmolecules. Quantitative structure – activity relationship (QSAR) studies and quantitative structure –property relationship (QSPR) studies are active areas of chemical research that focus on the nature ofthis dependency. Topological indices are the numerical value associated with chemical constitution...

متن کامل

MIX is a 2-MCFL and the word problem in Z is solved by a third-order collapsible pushdown automaton

In this work we establish that the language MIX = {w ∈ {a; b; c}||w|a = |w|b = |w|c} and the language O2 = {w ∈ {a; a; b; b}||w|a = |w|a ∧ |w|b = |w|b} are 2-MCFLs. As 2-MCFLs form a class of languages that is included in both the IO and OI hierarchies, and as O2 is the group language of a simple presentation of Z we exhibit here the first, to our knowledge, non-virtually-free group language (i...

متن کامل

The Basic Theorem and its Consequences

Let T be a compact Hausdorff topological space and let M denote an n–dimensional subspace of the space C(T ), the space of real–valued continuous functions on T and let the space be equipped with the uniform norm. Zukhovitskii [7] attributes the Basic Theorem to E.Ya.Remez and gives a proof by duality. He also gives a proof due to Shnirel’man, which uses Helly’s Theorem, now the paper obtains a...

متن کامل

FREE SEMIGROUPS AND IDEMPOTENTS IN T

The known theory for an oid T shows how to find a subset T of ?T, which is a compact right topological semigroup [I]. The success of the methods in [2] for obtaining properties of-T has prompted us to see how successful they would be in another context. Thus we find (Theorem 4.8) that T cont ains copies of free semigroups on 2? generators, is an immediate consequence of the stronger resu...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:
  • CoRR

دوره abs/1710.04597  شماره 

صفحات  -

تاریخ انتشار 2017